The problem of deciding which inputs in a model influence the most the state or output is often of practical importance, especially in the cases in which the system can be over-parameterized. In this context, a designer is required to perform sensitivity analyses so as to select which inputs are the most relevant to the problem at hand and remove those with smaller or no impact. In this paper, we tackle this issue by constructing the exact reachable set of a linear system that relates the inputs with the state of that system. By means of projections and solutions of linear optimization programs, we are able to assess which inputs drive the most the state or the output of a linear system. Illustrative examples are presented in order to provi...
Abstract As an important approach to analyzing safety of a dynamic system, this paper considers the ...
This paper considers the problem of computing the state reachable points, from the origin, of a line...
summary:This paper discusses the properties of reachability and observability for linear systems ove...
Over-parameterized models - a complex systems can have simpler models if possible to measure their ...
Abstract — For a dynamic system with given initial state set, the reachable state set contains the s...
The properties of reachable sets for linear dynamical systems for specified control sets are discuss...
Special Issue: IFAC World Congress 2008International audienceThis work is concerned with the algorit...
AbstractReachability analysis is one major approach for safety verification of continuous and hybrid...
We address input design for piecewise affine systems so as to satisfy a reachability specification, ...
This paper addresses the exact computation of the set of reachable states of a strongly linear hybri...
Abstract. This paper addresses the exact computation of the set of reachable states of a strongly li...
International audienceReachability analysis consists in computing the set of states that are reachab...
This paper uses dynamic programming techniques to describe reach sets and related problems of forwar...
. In this paper we discuss the problem of calculating the reachable states of a dynamical system def...
summary:This article develops a parametric method depend on threshold technique for solving some opt...
Abstract As an important approach to analyzing safety of a dynamic system, this paper considers the ...
This paper considers the problem of computing the state reachable points, from the origin, of a line...
summary:This paper discusses the properties of reachability and observability for linear systems ove...
Over-parameterized models - a complex systems can have simpler models if possible to measure their ...
Abstract — For a dynamic system with given initial state set, the reachable state set contains the s...
The properties of reachable sets for linear dynamical systems for specified control sets are discuss...
Special Issue: IFAC World Congress 2008International audienceThis work is concerned with the algorit...
AbstractReachability analysis is one major approach for safety verification of continuous and hybrid...
We address input design for piecewise affine systems so as to satisfy a reachability specification, ...
This paper addresses the exact computation of the set of reachable states of a strongly linear hybri...
Abstract. This paper addresses the exact computation of the set of reachable states of a strongly li...
International audienceReachability analysis consists in computing the set of states that are reachab...
This paper uses dynamic programming techniques to describe reach sets and related problems of forwar...
. In this paper we discuss the problem of calculating the reachable states of a dynamical system def...
summary:This article develops a parametric method depend on threshold technique for solving some opt...
Abstract As an important approach to analyzing safety of a dynamic system, this paper considers the ...
This paper considers the problem of computing the state reachable points, from the origin, of a line...
summary:This paper discusses the properties of reachability and observability for linear systems ove...